A Type System for Usage of Software Components
نویسنده
چکیده
The aim of this article is to support component-based software engineering by modelling exclusive and inclusive usage of software components. Truong and Bezem describe in several papers abstract languages for component software with the aim to find bounds of the number of instances of components. Their language includes primitives for instantiating and deleting instances of components and operators for sequential, alternative and parallel composition and a scope mechanism. The language is here supplemented with the primitives use , lock and free . The main contribution is a type system which guarantees the safety of usage, in the following way: When a well-typed program executes a subexpression use [x] or lock [x], it is guaranteed that an instance of x is available.
منابع مشابه
A Type System for Usage of Software Components. Extended Abstract
The aim of this article is to support component-based software engineering by modelling exclusive and inclusive usage of software components. Truong and Bezem describe in several papers abstract languages for component software with the aim to estimate bounds for the number of instances of components. Their language includes primitives for instantiating and deleting instances of components and ...
متن کاملFrequency distribution of blood components usage in neonatal intensive care unit in Shahid Sadoughi Hospital, Yazd, Iran, 2018
Background: Blood transfusion is a relatively common practice in neonatal intensive care units (NICUs). Regarding that few studies have been conducted on infants in neonatal intensive care unit (NICU), this study was investigated the frequency of blood components usage for preterm infants in NICU. Materials and Methods: This study was a cross-sectional descriptive-analytical study and was cond...
متن کاملConstructing Resource Usage Models of a Large and Complex Software-Intensive System
Resource usage models are important asset to analyze and ensure the adequate usage of the system platform resources such as processors and memory elements. In this paper, we present how to construct resource usage models using actual execution information of a large software-intensive system. We have constructed this type of models for an MRI system (a representative large software-intensive sy...
متن کاملStudents’ Tendency to Ethical Use of Internet
Background: Positive use of internet may lead to the progress in life and unethical use of internet may take us away from scientific goals. The purpose of the research is to study the tendency of students in ethical usage of internet. Method: Study is a descriptive and analytical type and it has been done by survey method. The statistical population is 13485 individuals of students of Urmia...
متن کاملEarthen architecture, an alternative to construction industry to manage the drought crisis in Iran: Comparison between water usage in a building with three type of loading system: steel, concrete, and earth
Abstract: Iran faces water shortage crisis whilst construction industry consumes huge amount of water. There are not precise data about construction industry water consumption. Accordingly, lack of comparison as well as prioritization between prevalent structural systems and alternatives which probably use less water create problems in planning for less consumption. There are two questions whi...
متن کامل